Integrated Design and Validation and Verification of Knowledge-based Systems
نویسنده
چکیده
The state-of-the-practice in Knowledge-Based System (XBS) verification and validation (V&V) three major problems: developers are unaware of the need for and basic issues of V&V, tools are generally unavailable to aid developers, and research has concentrated primarily on static anomaly detection which alone is inadequate for validation of real-world KBSs. This abstract proposes an approach to improving the situation that concentrates on two key areas. The f’LrSt is exploring a common knowledge representation and KBS execution environment o be augmented with integrated automated V&V tools. The goal is to develop the integrated environment as an open system for wide dissemination to developers. The second improvement is to develop innovative automated dynamic analysis techniques to augment current static anomaly detection capability.
منابع مشابه
Signal Design at lsolated lntersecaions Using Expert Systems Technology
The procedural steps for developing an expert system for designing signals at isolated intersections are described and the most important development issues for each step are discussed. The steps include problem analysis and definition, preliminary prototype specification, knowledge acquisition strategy development, prototype development plan, knowledge extraction, knowledge representation, too...
متن کاملAn Intelligent Algorithm for Optimization of Resource Allocation Problem by Considering Human Error in an Emergency Department
Human error is a significant and ever-growing problem in the healthcare sector. In this study, resource allocation problem is considered along with human errors to optimize utilization of resources in an emergency department. The algorithm is composed of simulation, artificial neural network (ANN), design of experiment (DOE) and fuzzy data envelopment analysis (FDEA). It is a multi-response opt...
متن کاملIssues in Designing Rule-based Systems for Integrated Evaluation
The design of rule bases is plagued by various anomalies due to lack of structured development, and lack of a formal reference for the acquired knowledge. Often, the lack of a clear link connecting the functional requirements, the design, and the implementation levels of a rule-based system makes it difficult to analyze the rule base in terms of how well it represents the acquired knowledge. Th...
متن کاملVerification and Validation Integrated within Processes Using Model-Based Design
Verification and Validation have always been a key part of the process for producing embedded control systems. With the advent of Model-Based Design as an alternative method for generating embedded software, the need for verification and validation remains and, up to the present, conventional approaches for doing verification and validation have largely been followed. However, conventional and ...
متن کاملA Proposed Architecture for Designing Integrated Information Systems in Research and Development Department of Universities of Medical Sciences: A Case Study of Ahvaz Jundishapur University of Medical Sciences
Background and Aim: This study aimed to propose a consistent architecture to design integrated and flexible information systems for the Vice-Chancellor for Research and Technology of Ahvaz Jundishapur University of Medical Sciences (AJUMS). Materials and Methods: This applied research employed an integrated design based on business system planning (BSP) and James Martin's model for the design...
متن کامل